منابع مشابه
Vector Weighted Anisotropic Voronoi Diagrams and Delaunay Traingulations
We introduce a weighting scheme for Voronoi diagrams that has preferred directions. This generalizes the concept of weighted Delaunay triangulations and overcomes some of the difficulties of using multiplicative anisotropic weight systems. We discuss properties that make these weighting schemes attractive.
متن کاملA Bit-Vector Algebra for Binary Moment Diagrams
Multiplicative Binary Moment Diagram (*BMD) is a new representation that inherits from BDD. *BMDs map Boolean variables to integer values and so they are well-suited to handle a hierarchical veri-cation methodology. In this paper we experiment this representation to verify sequential arithmetic circuits. We extend *BMDs and provide an algebra that includes main operators commonly used at the bi...
متن کاملCarter–Penrose diagrams and differential spaces
In this paper it is argued that a Carter–Penrose diagram can be viewed as a differential space.
متن کاملLambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus
The Distributional Compositional Categorical (DisCoCat) model is a mathematical framework that provides compositional semantics for meanings of natural language sentences. It consists of a computational procedure for constructing meanings of sentences, given their grammatical structure in terms of compositional type-logic, and given the empirically derived meanings of their words. For the parti...
متن کاملOn a Basis for the Framed Link Vector Space Spanned by Chord Diagrams
In view of the result of Kontsevich, [5] now often called “the fundamental theorem of Vassiliev theory”, identifying the graded dual of the associated graded vector space to the space of Vassiliev invariants filtered by degree with the linear span of chord diagrams modulo the “4T-relation” (and in the unframed case, originally considered in [7], [5], and [1], the “1T-” or “isolated chord relati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1900
ISSN: 0028-0836,1476-4687
DOI: 10.1038/061490b0